Dynamic Circuit Generation for Boolean Satissability in an Object-oriented Design Environment

We apply our object-oriented design environment PAM-Blox to dynamic generation of circuits for re-conngurable computing. Our approach combines the structural hardware design environment with commercial synthesis of nite state machines (FSMs). The PAM-Blox environment features a well deened hardware object interface and the ability to control the placement of hand-optimized circuits. We integrate the advantages of an object-oriented design environment with full control over placement at every level of abstraction, with commercial FSM synthesis and optimization. As driving application we consider reconngurable hardware accelerators for the NP-complete Boolean satissability problem. These accelerators require a fast compilation of circuits consisting of instance-speciic datapaths and control automatons. By providing FSM optimization and control over placement, our design environment enables the maximization of performance.